package se.sics.drsm.ports.statemachine;

import se.sics.drsm.ports.statemachine.events.AddPeer;
import se.sics.drsm.ports.statemachine.events.ReConfigurationRequest;
import se.sics.drsm.ports.statemachine.events.ReConfigurationResponse;
import se.sics.drsm.ports.statemachine.events.UpdatePeers;
import se.sics.kompics.PortType;

/**
 * Created with IntelliJ IDEA.
 * User: Shadid Chowdhury
 */
public class StateMachinePort extends PortType {
    {

        negative(AddPeer.class);
        negative(ReConfigurationResponse.class);

        positive(ReConfigurationRequest.class);
        positive(UpdatePeers.class);

    }
}